var read_js_loaded = true;

$.getJSON("/py/highlight.py?file=" + file, function(data) {
	$("div#code_area").html(data.text);
	$("#type_span").html(data.filetype);
	$("#size_span").html(data.size);
	$('.progress').hide();
});

function handle() {
	g_event = event;

	var line_height = $("#code_area span").height();
	var line_number = (event.y - $("#code_area").offset().top - parseFloat($(
			".highlight pre").css("padding")))
			/ line_height;

	console.log(line_number);

}
